Optimal. Leaf size=228 \[ -\frac{512}{315} \sqrt{\pi } b^{9/2} \sin (2 a) \text{FresnelC}\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )-\frac{512}{315} \sqrt{\pi } b^{9/2} \cos (2 a) S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{315 \sqrt [6]{x}}-\frac{128 b^3 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{8 b \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{16 b^2}{105 x^{5/6}}+\frac{256 b^4}{315 \sqrt [6]{x}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.250116, antiderivative size = 228, normalized size of antiderivative = 1., number of steps used = 12, number of rules used = 10, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.556, Rules used = {3416, 3314, 30, 3313, 12, 3306, 3305, 3351, 3304, 3352} \[ -\frac{512}{315} \sqrt{\pi } b^{9/2} \sin (2 a) \text{FresnelC}\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )-\frac{512}{315} \sqrt{\pi } b^{9/2} \cos (2 a) S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{315 \sqrt [6]{x}}-\frac{128 b^3 \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{8 b \sin \left (a+b \sqrt [3]{x}\right ) \cos \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{16 b^2}{105 x^{5/6}}+\frac{256 b^4}{315 \sqrt [6]{x}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3416
Rule 3314
Rule 30
Rule 3313
Rule 12
Rule 3306
Rule 3305
Rule 3351
Rule 3304
Rule 3352
Rubi steps
\begin{align*} \int \frac{\cos ^2\left (a+b \sqrt [3]{x}\right )}{x^{5/2}} \, dx &=3 \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{x^{11/2}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}+\frac{1}{21} \left (8 b^2\right ) \operatorname{Subst}\left (\int \frac{1}{x^{7/2}} \, dx,x,\sqrt [3]{x}\right )-\frac{1}{21} \left (16 b^2\right ) \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{x^{7/2}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{16 b^2}{105 x^{5/6}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}-\frac{1}{315} \left (128 b^4\right ) \operatorname{Subst}\left (\int \frac{1}{x^{3/2}} \, dx,x,\sqrt [3]{x}\right )+\frac{1}{315} \left (256 b^4\right ) \operatorname{Subst}\left (\int \frac{\cos ^2(a+b x)}{x^{3/2}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{16 b^2}{105 x^{5/6}}+\frac{256 b^4}{315 \sqrt [6]{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{315 \sqrt [6]{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}+\frac{1}{315} \left (1024 b^5\right ) \operatorname{Subst}\left (\int -\frac{\sin (2 a+2 b x)}{2 \sqrt{x}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{16 b^2}{105 x^{5/6}}+\frac{256 b^4}{315 \sqrt [6]{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{315 \sqrt [6]{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}-\frac{1}{315} \left (512 b^5\right ) \operatorname{Subst}\left (\int \frac{\sin (2 a+2 b x)}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{16 b^2}{105 x^{5/6}}+\frac{256 b^4}{315 \sqrt [6]{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{315 \sqrt [6]{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}-\frac{1}{315} \left (512 b^5 \cos (2 a)\right ) \operatorname{Subst}\left (\int \frac{\sin (2 b x)}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )-\frac{1}{315} \left (512 b^5 \sin (2 a)\right ) \operatorname{Subst}\left (\int \frac{\cos (2 b x)}{\sqrt{x}} \, dx,x,\sqrt [3]{x}\right )\\ &=-\frac{16 b^2}{105 x^{5/6}}+\frac{256 b^4}{315 \sqrt [6]{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{315 \sqrt [6]{x}}+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}-\frac{1}{315} \left (1024 b^5 \cos (2 a)\right ) \operatorname{Subst}\left (\int \sin \left (2 b x^2\right ) \, dx,x,\sqrt [6]{x}\right )-\frac{1}{315} \left (1024 b^5 \sin (2 a)\right ) \operatorname{Subst}\left (\int \cos \left (2 b x^2\right ) \, dx,x,\sqrt [6]{x}\right )\\ &=-\frac{16 b^2}{105 x^{5/6}}+\frac{256 b^4}{315 \sqrt [6]{x}}-\frac{2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{3 x^{3/2}}+\frac{32 b^2 \cos ^2\left (a+b \sqrt [3]{x}\right )}{105 x^{5/6}}-\frac{512 b^4 \cos ^2\left (a+b \sqrt [3]{x}\right )}{315 \sqrt [6]{x}}-\frac{512}{315} b^{9/2} \sqrt{\pi } \cos (2 a) S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )-\frac{512}{315} b^{9/2} \sqrt{\pi } C\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right ) \sin (2 a)+\frac{8 b \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{21 x^{7/6}}-\frac{128 b^3 \cos \left (a+b \sqrt [3]{x}\right ) \sin \left (a+b \sqrt [3]{x}\right )}{315 \sqrt{x}}\\ \end{align*}
Mathematica [A] time = 0.268309, size = 185, normalized size = 0.81 \[ \frac{-512 \sqrt{\pi } b^{9/2} x^{3/2} \sin (2 a) \text{FresnelC}\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )-512 \sqrt{\pi } b^{9/2} x^{3/2} \cos (2 a) S\left (\frac{2 \sqrt{b} \sqrt [6]{x}}{\sqrt{\pi }}\right )-256 b^4 x^{4/3} \cos \left (2 \left (a+b \sqrt [3]{x}\right )\right )+48 b^2 x^{2/3} \cos \left (2 \left (a+b \sqrt [3]{x}\right )\right )-64 b^3 x \sin \left (2 \left (a+b \sqrt [3]{x}\right )\right )+60 b \sqrt [3]{x} \sin \left (2 \left (a+b \sqrt [3]{x}\right )\right )-105 \cos \left (2 \left (a+b \sqrt [3]{x}\right )\right )-105}{315 x^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.04, size = 146, normalized size = 0.6 \begin{align*} -{\frac{1}{3}{x}^{-{\frac{3}{2}}}}-{\frac{1}{3}\cos \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{3}{2}}}}-{\frac{4\,b}{3} \left ( -{\frac{1}{7}\sin \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{7}{6}}}}+{\frac{4\,b}{7} \left ( -{\frac{1}{5}\cos \left ( 2\,a+2\,b\sqrt [3]{x} \right ){x}^{-{\frac{5}{6}}}}-{\frac{4\,b}{5} \left ( -{\frac{1}{3}\sin \left ( 2\,a+2\,b\sqrt [3]{x} \right ){\frac{1}{\sqrt{x}}}}+{\frac{4\,b}{3} \left ( -{\cos \left ( 2\,a+2\,b\sqrt [3]{x} \right ){\frac{1}{\sqrt [6]{x}}}}-2\,\sqrt{b}\sqrt{\pi } \left ( \cos \left ( 2\,a \right ){\it FresnelS} \left ( 2\,{\frac{\sqrt [6]{x}\sqrt{b}}{\sqrt{\pi }}} \right ) +\sin \left ( 2\,a \right ){\it FresnelC} \left ( 2\,{\frac{\sqrt [6]{x}\sqrt{b}}{\sqrt{\pi }}} \right ) \right ) \right ) } \right ) } \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] time = 1.57209, size = 381, normalized size = 1.67 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.18392, size = 455, normalized size = 2. \begin{align*} -\frac{2 \,{\left (256 \, \pi b^{4} x^{2} \sqrt{\frac{b}{\pi }} \cos \left (2 \, a\right ) \operatorname{S}\left (2 \, x^{\frac{1}{6}} \sqrt{\frac{b}{\pi }}\right ) + 256 \, \pi b^{4} x^{2} \sqrt{\frac{b}{\pi }} \operatorname{C}\left (2 \, x^{\frac{1}{6}} \sqrt{\frac{b}{\pi }}\right ) \sin \left (2 \, a\right ) - 128 \, b^{4} x^{\frac{11}{6}} + 24 \, b^{2} x^{\frac{7}{6}} +{\left (256 \, b^{4} x^{\frac{11}{6}} - 48 \, b^{2} x^{\frac{7}{6}} + 105 \, \sqrt{x}\right )} \cos \left (b x^{\frac{1}{3}} + a\right )^{2} + 4 \,{\left (16 \, b^{3} x^{\frac{3}{2}} - 15 \, b x^{\frac{5}{6}}\right )} \cos \left (b x^{\frac{1}{3}} + a\right ) \sin \left (b x^{\frac{1}{3}} + a\right )\right )}}{315 \, x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cos ^{2}{\left (a + b \sqrt [3]{x} \right )}}{x^{\frac{5}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cos \left (b x^{\frac{1}{3}} + a\right )^{2}}{x^{\frac{5}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]